命題21

命題21

 

 

互いに素である数はそれらと同じ比を持つ数の最小の数である。

 

ABを互いに素である数とする。

 

ABがそれらと同じ比を持つ数の最小の数であることをいう。

 

そうでないならば、ABと同じ比であるABより小さい数がある。それらをCDとする。

 

同じ比を持つ数の最小の数は同じ比を持つ数を同じ回数で割り切り、大きいものは大きいものを、小さいものは小さいものを、つまり、前項は前項を、後項は後項を割り切るから、それゆえにDBを割り切るようにCAを同じ回数で割り切る。propositionZ.20

 

CAを割り切るようにEに同じ量の単位があるとする。DはまたBDの単位により割り切る。

 

そして、CAEの単位により割り切るから、それゆえにEもまたACの単位により割り切る。同じ理由でEもまたBDの単位により割り切る。propositionZ.16

 

それゆえに、不可能であるが、Eは互いに素であるABを割り切る。definitionZ.12

 

それゆえにABと同じ比であるABより小さい数はない。それゆえにABはそれらと同じ比を持つ数の最小の数である。

 

それゆえに、互いに素である数はそれらと同じ比を持つ数の最小の数である。

 

                                     証明終了

 

 

 

第7巻命題20へ  第7巻命題22へ  第7巻目次へ